#ifndef TICK_H_
#define TICK_H_

#include "xos.h"

uint32_t xos_get_tick(void);

#endif // TICK_H_